Verification of Control Rules Using Petri Net Model
نویسندگان
چکیده
منابع مشابه
Verification of Session Initiation Protocol Using Timed Colored Petri Net
In this work, Session Initiation Protocol model is established by using Timed Colored Petri Nets (TCPN). SIP (Session Initiation Protocol) is a protocol developed to assist in providing advanced telephony services across the Internet. The Session Initiation Protocol (SIP) has become the quasi-standard for VoiceoverInternet Protocol (VoIP) communications. SIP is based on a client-server infrastr...
متن کاملKnowledge Verification with an Enhanced High-Level Petri-Net Model
PETRI NETS, WHICH CAN ANALYZE systems involving conditional relationships, provide straightforward models for rulebased systems.1 Researchers have used Petrinet models to study knowledge validation, verification, and testing.2–4 However, these models considered a rule-based system to consist of rules that are explicitly described; that is, no variables appear in the rule bodies. Moreover, these...
متن کاملVerification of EPCs: Using Reduction Rules and Petri Nets
Designing business models is a complicated and error prone task. On the one hand, business models need to be intuitive and easy to understand. On the other hand, ambiguities may lead to different interpretations and false consensus. Moreover, to configure process-aware information systems (e.g., a workflow system), the business model needs to be transformed into an executable model. Event-drive...
متن کاملDiagnosability verification with Petri net unfoldings
Studying diagnosability of systems represents an important domain which has drawn in the last years the attention of many researchers in both arti cial intelligence and control theory communities. Diagnosability is an important property that determines the ability of a system to detect faults occurrences given only observable sequences (the system has observable events and unobservable events i...
متن کاملStrataGEM: A Generic Petri Net Verification Framework
In this paperwe present the StrategyGeneric ExtensibleModelchecker (StrataGEM), a tool aimed at the analysis of Petri nets and other models of concurrency by means of symbolic model-checking techniques. StrataGEMmarries the well know concepts of TermRewriting (TR) to the efficiency of Decision Diagrams (DDs). TR systems are a great way to describe the semantics of a system, being readable and c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the Society of Instrument and Control Engineers
سال: 1988
ISSN: 0453-4654
DOI: 10.9746/sicetr1965.24.852